Modeling with extended fault trees

In the areas of both safety and reliability analysis the precise modeling of complex technical systems during development and for evaluation purposes is of great importance. Traditionally, fault tree models have been used to accomplish this, and, more recently, stochastic Petri-net models have begun to be employed. To provide engineers with an intuitive high-level modeling interface to Petri-nets, this paper introduces an approach combining extended fault trees for the description of the system and stochastic Petrinets for the evaluation and analysis of the model.